-
1 second-order predicate
Большой англо-русский и русско-английский словарь > second-order predicate
-
2 second-order predicate
Математика: предикат второго порядкаУниверсальный англо-русский словарь > second-order predicate
-
3 second-order predicate
English-Russian scientific dictionary > second-order predicate
-
4 second-order
мат. второго порядка second-order interaction term ≈ двойной эффект взаимодействия second-order phase transition ≈ физ. переход фазовый второго рода second-order stationary process ≈ стационарный в широком смысле процесс, стационарный процесс второго порядка - second-order activity - second-order alias - second-order arithmetic - second-order correction - second-order curve - second-order derivative - second-order design - second-order differential - second-order filter - second-order infinitesimal - second-order interaction - second-order ionization - second-order jackknife - second-order lag - second-order language - second-order predicate - second-order quantity - second-order smoothing - second-order term - second-order theoryБольшой англо-русский и русско-английский словарь > second-order
-
5 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
6 предикат второго порядка
Большой англо-русский и русско-английский словарь > предикат второго порядка
-
7 hierarchy
иерархия, древовидная структура без циклов и с единственным владельцем у каждого поддерева- hierarchy plus input-processing-output
- Ablovitz-Kaup-Newell-Segur hierarchy
- AKNS hierarchy
- alternative newsgroup hierarchy
- analytical hierarchy
- centralized hierarchy
- circuit hierarchy
- class hierarchy
- conceptual hierarchy
- constrained hierarchy
- decision-making hierarchy
- data hierarchy
- digital transmission hierarchy
- exponential hierarchy
- finite hierarchy
- first-order hierarchy
- flexible hierarchy
- functional hierarchy
- infinite hierarchy
- inheritance hierarchy
- language hierarchy
- layout hierarchy
- local newsgroup hierarchy
- memory hierarchy
- model hierarchy
- multilevel hierarchy
- multilevel control hierarchy
- nested hierarchy
- partitioning hierarchy - projective hierarchy
- protocol hierarchy
- resource hierarchy
- second-order hierarchy
- standard newsgroup hierarchy
- storage hierarchy - transfinite hierarchy -
8 hierarchy
иерархия, древовидная структура без циклов и с единственным владельцем у каждого поддерева- AKNS hierarchy
- alternative newsgroup hierarchy
- analytical hierarchy
- centralized hierarchy
- circuit hierarchy
- class hierarchy
- conceptual hierarchy
- constrained hierarchy
- data hierarchy
- decision-making hierarchy
- digital transmission hierarchy
- exponential hierarchy
- finite hierarchy
- first-order hierarchy
- flexible hierarchy
- functional hierarchy
- hierarchy of types
- hierarchy plus input-processing-output
- infinite hierarchy
- inheritance hierarchy
- language hierarchy
- layout hierarchy
- local newsgroup hierarchy
- memory hierarchy
- model hierarchy
- multilevel control hierarchy
- multilevel hierarchy
- nested hierarchy
- partitioning hierarchy
- plesiochronous digital hierarchy
- predicate hierarchy
- projective hierarchy
- protocol hierarchy
- resource hierarchy
- second-order hierarchy
- standard newsgroup hierarchy
- storage hierarchy
- synchronous digital hierarchy
- testing hierarchy
- transfinite hierarchyThe New English-Russian Dictionary of Radio-electronics > hierarchy
См. также в других словарях:
Second-order predicate — In mathematical logic, a second order predicate is a predicate that takes a first order predicate as an argument. Compare higher order predicate.The idea of second order predication was introduced by the German mathematician and philosopher Frege … Wikipedia
First-order predicate — A first order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s). Compare second order predicate and higher order predicate. ee also*First order predicate calculus *Monadic predicate … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
predicate logic — noun a) The generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. b) First order logic. <! See . See Also: predicate calculus … Wiktionary
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia